Optimal. Leaf size=137 \[ \frac {3 a^2 \left (a+b \sqrt [3]{x}\right )^7 \sqrt {a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}}}{8 b^3}-\frac {2 a \left (a+b \sqrt [3]{x}\right )^8 \sqrt {a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}}}{3 b^3}+\frac {3 \left (a+b \sqrt [3]{x}\right )^9 \sqrt {a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}}}{10 b^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 137, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 3, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.115, Rules used = {1355, 660, 45}
\begin {gather*} \frac {3 \sqrt {a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}} \left (a+b \sqrt [3]{x}\right )^9}{10 b^3}-\frac {2 a \sqrt {a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}} \left (a+b \sqrt [3]{x}\right )^8}{3 b^3}+\frac {3 a^2 \sqrt {a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}} \left (a+b \sqrt [3]{x}\right )^7}{8 b^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 660
Rule 1355
Rubi steps
\begin {align*} \int \left (a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}\right )^{7/2} \, dx &=3 \text {Subst}\left (\int x^2 \left (a^2+2 a b x+b^2 x^2\right )^{7/2} \, dx,x,\sqrt [3]{x}\right )\\ &=\frac {\left (3 \sqrt {a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}}\right ) \text {Subst}\left (\int x^2 \left (a b+b^2 x\right )^7 \, dx,x,\sqrt [3]{x}\right )}{b^7 \left (a+b \sqrt [3]{x}\right )}\\ &=\frac {\left (3 \sqrt {a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}}\right ) \text {Subst}\left (\int \left (\frac {a^2 \left (a b+b^2 x\right )^7}{b^2}-\frac {2 a \left (a b+b^2 x\right )^8}{b^3}+\frac {\left (a b+b^2 x\right )^9}{b^4}\right ) \, dx,x,\sqrt [3]{x}\right )}{b^7 \left (a+b \sqrt [3]{x}\right )}\\ &=\frac {3 a^2 \left (a+b \sqrt [3]{x}\right )^7 \sqrt {a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}}}{8 b^3}-\frac {2 a \left (a+b \sqrt [3]{x}\right )^8 \sqrt {a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}}}{3 b^3}+\frac {3 \left (a+b \sqrt [3]{x}\right )^9 \sqrt {a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}}}{10 b^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.03, size = 117, normalized size = 0.85 \begin {gather*} \frac {\left (\left (a+b \sqrt [3]{x}\right )^2\right )^{7/2} \left (120 a^7 x+630 a^6 b x^{4/3}+1512 a^5 b^2 x^{5/3}+2100 a^4 b^3 x^2+1800 a^3 b^4 x^{7/3}+945 a^2 b^5 x^{8/3}+280 a b^6 x^3+36 b^7 x^{10/3}\right )}{120 \left (a+b \sqrt [3]{x}\right )^7} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.09, size = 109, normalized size = 0.80
method | result | size |
derivativedivides | \(\frac {\left (\left (a +b \,x^{\frac {1}{3}}\right )^{2}\right )^{\frac {7}{2}} x \left (36 b^{7} x^{\frac {7}{3}}+280 a \,b^{6} x^{2}+945 a^{2} b^{5} x^{\frac {5}{3}}+1800 a^{3} b^{4} x^{\frac {4}{3}}+2100 a^{4} b^{3} x +1512 a^{5} b^{2} x^{\frac {2}{3}}+630 a^{6} b \,x^{\frac {1}{3}}+120 a^{7}\right )}{120 \left (a +b \,x^{\frac {1}{3}}\right )^{7}}\) | \(98\) |
default | \(\frac {\sqrt {a^{2}+2 a b \,x^{\frac {1}{3}}+b^{2} x^{\frac {2}{3}}}\, \left (36 b^{7} x^{\frac {10}{3}}+945 a^{2} b^{5} x^{\frac {8}{3}}+1800 a^{3} b^{4} x^{\frac {7}{3}}+1512 a^{5} b^{2} x^{\frac {5}{3}}+630 a^{6} b \,x^{\frac {4}{3}}+280 a \,b^{6} x^{3}+2100 a^{4} b^{3} x^{2}+120 a^{7} x \right )}{120 a +120 b \,x^{\frac {1}{3}}}\) | \(109\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.30, size = 114, normalized size = 0.83 \begin {gather*} \frac {3 \, {\left (b^{2} x^{\frac {2}{3}} + 2 \, a b x^{\frac {1}{3}} + a^{2}\right )}^{\frac {7}{2}} a^{2} x^{\frac {1}{3}}}{8 \, b^{2}} + \frac {3 \, {\left (b^{2} x^{\frac {2}{3}} + 2 \, a b x^{\frac {1}{3}} + a^{2}\right )}^{\frac {7}{2}} a^{3}}{8 \, b^{3}} + \frac {3 \, {\left (b^{2} x^{\frac {2}{3}} + 2 \, a b x^{\frac {1}{3}} + a^{2}\right )}^{\frac {9}{2}} x^{\frac {1}{3}}}{10 \, b^{2}} - \frac {11 \, {\left (b^{2} x^{\frac {2}{3}} + 2 \, a b x^{\frac {1}{3}} + a^{2}\right )}^{\frac {9}{2}} a}{30 \, b^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.40, size = 84, normalized size = 0.61 \begin {gather*} \frac {7}{3} \, a b^{6} x^{3} + \frac {35}{2} \, a^{4} b^{3} x^{2} + a^{7} x + \frac {63}{40} \, {\left (5 \, a^{2} b^{5} x^{2} + 8 \, a^{5} b^{2} x\right )} x^{\frac {2}{3}} + \frac {3}{20} \, {\left (2 \, b^{7} x^{3} + 100 \, a^{3} b^{4} x^{2} + 35 \, a^{6} b x\right )} x^{\frac {1}{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \left (a^{2} + 2 a b \sqrt [3]{x} + b^{2} x^{\frac {2}{3}}\right )^{\frac {7}{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 4.66, size = 140, normalized size = 1.02 \begin {gather*} \frac {3}{10} \, b^{7} x^{\frac {10}{3}} \mathrm {sgn}\left (b x^{\frac {1}{3}} + a\right ) + \frac {7}{3} \, a b^{6} x^{3} \mathrm {sgn}\left (b x^{\frac {1}{3}} + a\right ) + \frac {63}{8} \, a^{2} b^{5} x^{\frac {8}{3}} \mathrm {sgn}\left (b x^{\frac {1}{3}} + a\right ) + 15 \, a^{3} b^{4} x^{\frac {7}{3}} \mathrm {sgn}\left (b x^{\frac {1}{3}} + a\right ) + \frac {35}{2} \, a^{4} b^{3} x^{2} \mathrm {sgn}\left (b x^{\frac {1}{3}} + a\right ) + \frac {63}{5} \, a^{5} b^{2} x^{\frac {5}{3}} \mathrm {sgn}\left (b x^{\frac {1}{3}} + a\right ) + \frac {21}{4} \, a^{6} b x^{\frac {4}{3}} \mathrm {sgn}\left (b x^{\frac {1}{3}} + a\right ) + a^{7} x \mathrm {sgn}\left (b x^{\frac {1}{3}} + a\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int {\left (a^2+b^2\,x^{2/3}+2\,a\,b\,x^{1/3}\right )}^{7/2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________